alpha(h) == fmap(h)(fa)